#ifndef __TIMER1_H__
#define __TIMER1_H__

#include <at32f4xx.h>


void Timer1_Init(void);

#endif
